Computer Algebra and Power Series with Positive Coefficients
نویسنده
چکیده
We consider the question whether all the coefficients in the series expansions of some specific rational functions are positive, and we demonstrate how computer algebra can help answering questions arising in this context. By giving partial computer proofs, we provide new evidence in support of some longstanding open conjectures. Also two new conjectures are made.
منابع مشابه
Vincent Vatter — Project Description
The surveys by Stanley [23] and Stanton [25] speak to the sheer number of open problems concerning positivity. Here we propose for research a class of problems that seems ripe for systematization via a computer algebra system similar to the proposer’s successful systematization efforts for restricted permutations [7, 27, 28]. At various times throughout the last century, researchers have consid...
متن کاملSolving the liner quadratic differential equations with constant coefficients using Taylor series with step size h
In this study we produced a new method for solving regular differential equations with step size h and Taylor series. This method analyzes a regular differential equation with initial values and step size h. this types of equations include quadratic and cubic homogenous equations with constant coeffcients and cubic and second-level equations.
متن کاملA Power Matrix Approach to the Witt Algebra and Loewner Equations
The theory of formal power series and derivation is developed from the point of view of the power matrix. A Loewner equation for formal power series is introduced. We then show that the matrix exponential is surjective onto the group of power matrices, and the coefficients are entire functions of finitely many coefficients of the infinitesimal generator. Furthermore coefficients of the solution...
متن کاملLie Algebras of Formal Power Series
Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions. Given a pseudodifferential operator, the corresponding formal power series can be obtained by using some constant multiples of its coefficients. The space of pseudodifferential operators is a noncommutative algebra over C and therefore has a...
متن کاملPower Series in Computer Algebra
complex analysis. In some Computer Algebra Systems (CASs) it is possible to define an FPS by direct or recursive definition of its coefficients. Since some operations cannot be directly supported within the FPS domain, some systems generally convert FPS to finite truncated power series (TPS) for operations such as addition, multiplication, division, inversion and formal substitution. This resul...
متن کامل